- semicomputable predicate
- мат.полувычислимый предикат
English-Russian scientific dictionary. 2008.
semicomputable predicate
Смотреть что такое "semicomputable predicate" в других словарях:
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia
